/*
 * Copyright (c) 2023, 2023, Oracle and/or its affiliates. All rights reserved.
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
 */
package com.oracle.truffle.espresso.impl.generics.visitor;

import com.oracle.truffle.espresso.impl.generics.tree.ArrayTypeSignature;
import com.oracle.truffle.espresso.impl.generics.tree.BooleanSignature;
import com.oracle.truffle.espresso.impl.generics.tree.BottomSignature;
import com.oracle.truffle.espresso.impl.generics.tree.ByteSignature;
import com.oracle.truffle.espresso.impl.generics.tree.CharSignature;
import com.oracle.truffle.espresso.impl.generics.tree.ClassTypeSignature;
import com.oracle.truffle.espresso.impl.generics.tree.DoubleSignature;
import com.oracle.truffle.espresso.impl.generics.tree.FloatSignature;
import com.oracle.truffle.espresso.impl.generics.tree.IntSignature;
import com.oracle.truffle.espresso.impl.generics.tree.LongSignature;
import com.oracle.truffle.espresso.impl.generics.tree.ShortSignature;
import com.oracle.truffle.espresso.impl.generics.tree.SimpleClassTypeSignature;
import com.oracle.truffle.espresso.impl.generics.tree.TypeVariableSignature;
import com.oracle.truffle.espresso.impl.generics.tree.VoidDescriptor;

/**
 * Visit a TypeTree and produce a result of type T.
 */
public interface TypeTreeVisitor<T> {

    /**
     * Returns the result of the visit.
     * 
     * @return the result of the visit
     */
    T getResult();

    // Visitor methods, per node type

    void visitClassTypeSignature(ClassTypeSignature ct);

    void visitArrayTypeSignature(ArrayTypeSignature a);

    void visitSimpleClassTypeSignature(SimpleClassTypeSignature sct);

    void visitBottomSignature(BottomSignature b);

    // Primitives and Void
    void visitByteSignature(ByteSignature b);

    void visitBooleanSignature(BooleanSignature b);

    void visitShortSignature(ShortSignature s);

    void visitCharSignature(CharSignature c);

    void visitIntSignature(IntSignature i);

    void visitLongSignature(LongSignature l);

    void visitFloatSignature(FloatSignature f);

    void visitDoubleSignature(DoubleSignature d);

    void visitVoidDescriptor(VoidDescriptor v);

    void visitTypeVariableSignature(TypeVariableSignature t);
}
